Formalization of Integral Linear Space1
نویسندگان
چکیده
(1) Let X be a real linear space and R1, R2 be finite sequences of elements of X. If lenR1 = lenR2, then ∑ (R1 +R2) = ∑ R1 + ∑ R2. (2) Let X be a real linear space and R1, R2, R3 be finite sequences of elements of X. If lenR1 = lenR2 and R3 = R1−R2, then ∑ R3 = ∑ R1− ∑ R2. (3) Let X be a real linear space, R1, R2 be finite sequences of elements of X, and a be an element of R. If R2 = aR1, then ∑ R2 = a · ∑ R1.
منابع مشابه
The Linearity of Riemann Integral on Functions from R into Real Banach Space1
In this article, we described basic properties of Riemann integral on functions from R into Real Banach Space. We proved mainly the linearity of integral operator about the integral of continuous functions on closed interval of the set of real numbers. These theorems were based on the article [10] and we referred to the former articles about Riemann integral. We applied definitions and theorems...
متن کاملNUMERICAL SOLUTION OF LINEAR FREDHOLM AND VOLTERRA INTEGRAL EQUATION OF THE SECOND KIND BY USING LEGENDRE WAVELETS
In this paper, we use the continuous Legendre wavelets on the interval [0,1] constructed by Razzaghi M. and Yousefi S. [6] to solve the linear second kind integral equations. We use quadrature formula for the calculation of the products of any functions, which are required in the approximation for the integral equations. Then we reduced the integral equation to the solution of linear algebraic ...
متن کاملModified homotopy method to solve non-linear integral equations
In this article we decide to define a modified homotopy perturbation for solving non-linear integral equations. Almost, all of the papers that was presented to solve non-linear problems by the homotopy method, they used from two non-linear and linear operators. But we convert a non-linear problem to two suitable non-linear operators also we use from appropriate bases functions such as Legendre ...
متن کاملA finite difference method for the smooth solution of linear Volterra integral equations
The present paper proposes a fast numerical method for the linear Volterra integral equations withregular and weakly singular kernels having smooth solutions. This method is based on the approx-imation of the kernel, to simplify the integral operator and then discretization of the simpliedoperator using a forward dierence formula. To analyze and verify the accuracy of the method, weexamine samp...
متن کاملA Numerical Approach for Solving of Two-Dimensional Linear Fredholm Integral Equations with Boubaker Polynomial Bases
In this paper, a new collocation method, which is based on Boubaker polynomials, is introduced for the approximate solutions of a class of two-dimensional linear Fredholm integral equationsof the second kind. The properties of two-dimensional Boubaker functions are presented. The fundamental matrices of integration with the collocation points are utilized to reduce the solution of the integral ...
متن کامل